منابع مشابه
number of program- Marcia C, Li ~ aJld
W e have developed a number of programM a r c i a C, Li~ aJld ming case studies. Each includes (a) as ta tement Michael J. Clancy of the programming problem; (b) a narrative description of the process used by an expert to solve the problem, written so that a student can understand the expert's approach; (c) a listing of the expert's code; (d) study questions to provide practice in program desig...
متن کاملHepatotoxicity induced by horse ATG and reversed by rabbit ATG: a case report
BACKGROUND The use of antilymphocyte agents has improved patient and graft survival in hematopoietic stem cell and solid organ transplantation but has been associated with the development of short-term toxicities as well as long-term complications. CASE PRESENTATION We report a young female with Fanconi anemia who received antithymocyte globulin as part of the conditioning regimen prior to he...
متن کاملTheoretical clarity is not 'Manicheanism': A reply to Marcia Bates
It is argued that in order to establish a new theoretical approach to information science it is necessary to express disagreement with some established views. The “social turn” in information science is not just exemplified in relation to the works of Marcia Bates but in relation to many different researchers in the field. Therefore it should not be taken personally, and the debate should focus...
متن کاملEthnomathematics: A Multicultural View of Mathematical Ideas (Marcia Ascher)
In this truly one-of-a-kind book, Ascher introduces the mathematical ideas of people in traditional, or small-scale, cultures often omitted from discussion of mathematics. Topics such as Numbers: Words and Symbols, Tracing Graphs in the Sand, The Logic of Kin Relations, Chance and Strategy in Games and Puzzles, and The Organization and Modeling of Space are traced in various cultures including ...
متن کاملThe Temporal Rover and the ATG Rover
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time Temporal Logic (LTL) and Metric Temporal Logic (MTL), with conventional simulation/execution based testing. The Temporal Rover is tailored for the verification of complex protocols and reactive systems where behavior ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Against the Grain
سال: 2004
ISSN: 2380-176X
DOI: 10.7771/2380-176x.5420